Stehr, Mark: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Incentives, Commitments, and Habit Formation in Exercise: Evidence from a Field Experiment with Workers at a Fortune-500 Company †

Royer, Heather, Stehr, Mark, Sydnor, Justin

Journal:

American Economic Journal Applied Economics

Year:

2015

Language:

english

File:

PDF, 602 KB

english, 2015

2

Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types

Iliano Cervesato, Mark-Oliver Stehr

Journal:

Higher-Order and Symbolic Computation

Year:

2007

Language:

english

File:

PDF, 491 KB

english, 2007

3

[IEEE MILCOM 2008 - 2008 IEEE Military Communications Conference (MILCOM) - San Diego, CA, USA (2008.11.16-2008.11.19)] MILCOM 2008 - 2008 IEEE Military Communications Conference - Planning and learning algorithms for routing in Disruption-Tolerant Networks

Stehr, Mark-Oliver, Talcott, Carolyn

Year:

2008

Language:

english

File:

PDF, 329 KB

english, 2008

4

Plan in Maude Specifying an Active Network Programming Language

Mark-Oliver Stehr, Carolyn L. Talcott

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 192 KB

english, 2004

5

Can Financial Incentives Help People Trying to Establish New Habits? Experimental Evidence with New Gym Members

Carrera, Mariana, Royer, Heather, Stehr, Mark, Sydnor, Justin

Journal:

Journal of Health Economics

Year:

2018

Language:

english

File:

PDF, 709 KB

english, 2018

6

High-performance fiber-laser-based terahertz spectrometer

Morris, Christopher M., Schmidt, Christian, Sherwin, Mark S., Stehr, Dominik

Journal:

Year:

2010

Language:

english

File:

PDF, 335 KB

english, 2010

7

Compositionality for Tightly Coupled Systems: A New Application of the Propositions-as-Types Interpretation

Mark-Oliver Stehr

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 370 KB

english, 2006

8

Longitudinal Associations of Local Cigarette Prices and Smoking Bans with Smoking Behavior in the Multi-Ethnic Study of Atherosclerosis (MESA)

Mayne, Stephanie L., Auchincloss, Amy H., Stehr, Mark F., Kern, David M., Navas-Acien, Ana, Kaufman, Joel D., Michael, Yvonne L., Roux, Ana V. Diez

Journal:

Year:

2017

Language:

english

File:

PDF, 1.90 MB

english, 2017

9

[OSA Conference on Lasers and Electro-Optics - San Jose, CA (2010..-..)] Conference on Lasers and Electro-Optics 2010 - Asymmetric Autler-Townes Effect in THz-Driven Quantum Wells: Beyond the Three State and Rotating Wave Approximations

Zaks, Benjamin, Stehr, Dominik, Hughes, Stephen, Maslov, Alex, Citrin, David, Sherwin, Mark

Year:

2010

Language:

english

File:

PDF, 286 KB

english, 2010

10

Governmental intervention in Hospital Information Exchange (HIE) diffusion: a quasi-experimental ARIMA interrupted time series analysis of monthly HIE patient penetration rates

Gefen, David, Ben-Assuli, Ofir, Stehr, Mark, Rosen, Bruce, Denekamp, Yaron

Journal:

European Journal of Information Systems

Year:

2019

File:

PDF, 1.77 MB

2019

11

Terahertz Ionization of Highly Charged Quantum Posts in a Perforated Electron Gas

Morris, Christopher M., Stehr, Dominik, Kim, Hyochul, Truong, Tuan-Anh, Pryor, Craig, Petroff, Pierre M., Sherwin, Mark S.

Journal:

Year:

2012

Language:

english

File:

PDF, 2.30 MB

english, 2012

12

[IEEE 2011 International Conference on Collaboration Technologies and Systems (CTS) - Philadelphia, PA, USA (2011.05.23-2011.05.27)] 2011 International Conference on Collaboration Technologies and Systems (CTS) - Tailoring group membership consistency for mobile networks

Gutierrez-Nolasco, Sebastian, Venkatasubramanian, Nalini, Talcott, Carolyn, Stehr, Mark-Oliver

Year:

2011

Language:

english

File:

PDF, 1004 KB

english, 2011

13

[IEEE 2008 Design, Automation and Test in Europe - Munich, Germany (2008.03.10-2008.03.14)] 2008 Design, Automation and Test in Europe - Constraint Refinement for Online Verifiable Cross-Layer System Adaptation

Kim, Minyoung, Stehr, Mark-Oliver, Talcott, Carolyn, Dutt, Nikil, Venkatasubramanian, Nalini

Year:

2008

Language:

english

File:

PDF, 4.83 MB

english, 2008

14

The Effect of Sunday Sales of Alcohol on Highway Crash Fatalities

Journal:

SSRN Electronic Journal

Year:

2010

Language:

english

File:

PDF, 161 KB

english, 2010

15

Resilient dependable cyber-physical systems: a middleware perspective

Grit Denker, Nikil Dutt, Sharad Mehrotra, Mark-Oliver Stehr, Carolyn Talcott, Nalini Venkatasubramanian

Journal:

Journal of Internet Services and Applications

Year:

2012

Language:

english

File:

PDF, 483 KB

english, 2012

16

Tailoring consistency in group membership for mobile networks

Gutierrez-Nolasco, Sebastian, Venkatasubramanian, Nalini, Stehr, Mark-Oliver, Talcott, Carolyn

Journal:

Future Generation Computer Systems

Year:

2014

Language:

english

File:

PDF, 2.46 MB

english, 2014

17

The Effect of Sunday Sales Bans and Excise Taxes on Drinking and Cross—Border Shopping for Alcoholic Beverages

Journal:

National Tax Journal

Year:

2007

Language:

english

File:

PDF, 2.00 MB

english, 2007

18

Toxicopathic liver lesions in English sole and chemical contaminant exposure in Vancouver Harbour, Canada

Carla M. Stehr, Mark S. Myers, Lyndal L. Johnson, Sylvester Spencer, John E. Stein

Journal:

Marine Environmental Research

Year:

2004

Language:

english

File:

PDF, 738 KB

english, 2004

19

The effects of mandatory seatbelt laws on seatbelt use, motor vehicle fatalities, and crash-related injuries among youths

Christopher S. Carpenter, Mark Stehr

Journal:

Journal of Health Economics

Year:

2008

Language:

english

File:

PDF, 389 KB

english, 2008

20

[ACM Press the 3rd workshop - Toronto, Ontario, Canada (2004.10.19-2004.10.19)] Proceedings of the 3rd workshop on Adaptive and reflective middleware - - Exploring adaptability of secure group communication using formal prototyping techniques

Gutierrez-Nolasco, Sebastian, Venkatasubramanian, Nalini, Stehr, Mark-Oliver, Talcott, Carolyn

Year:

2004

Language:

english

File:

PDF, 270 KB

english, 2004

21

[IEEE MILCOM 2013 - 2013 IEEE Military Communications Conference - San Diego, CA, USA (2013.11.18-2013.11.20)] MILCOM 2013 - 2013 IEEE Military Communications Conference - ICEMAN: A System for Efficient, Robust and Secure Situational Awareness at the Network Edge

Wood, Samuel, Mathewson, James, Joy, Joshua, Stehr, Mark-Oliver, Kim, Minyoung, Gehani, Ashish, Gerla, Mario, Sadjadpour, Hamid, Garcia-Luna-Aceves, J.J.

Year:

2013

Language:

english

File:

PDF, 498 KB

english, 2013

22

[IEEE 2008 33rd International Conference on Infrared, Millimeter and Terahertz Waves (IRMMW-THz 2008) - Pasadena, CA (2008.09.15-2008.09.19)] 2008 33rd International Conference on Infrared, Millimeter and Terahertz Waves - Single shot high resolution THz upconversion spectrometer

Zaks, Benjamin, Heyman, James, Stehr, Dominik, Allen, Dan, Coates, Nelson, Sherwin, Mark

Year:

2008

Language:

english

File:

PDF, 219 KB

english, 2008

23

The Effect of Sunday Sales of Alcohol on Highway Crash Fatalities

Journal:

The B E Journal of Economic Analysis & Policy

Year:

2010

Language:

english

File:

PDF, 391 KB

english, 2010

24

[ACM Press the 28th Annual ACM Symposium - Coimbra, Portugal (2013.03.18-2013.03.22)] Proceedings of the 28th Annual ACM Symposium on Applied Computing - SAC '13 - Maximizing availability of content in disruptive environments by cross-layer optimization

Kim, Minyoung, Gehani, Ashish, Kim, Je-Min, Tariq, Dawood, Stehr, Mark-Oliver, Kim, Jin-soo

Year:

2013

Language:

english

File:

PDF, 2.56 MB

english, 2013

25

[IEEE 2015 IEEE International Conference on Big Data (Big Data) - Santa Clara, CA, USA (2015.10.29-2015.11.1)] 2015 IEEE International Conference on Big Data (Big Data) - Priority register: Application-defined replacement orderings for ad hoc reconciliation

Kumar, Sathiya Prabhu, Lefebvre, Sylvain, Kim, Minyoung, Stehr, Mark Oliver

Year:

2015

Language:

english

File:

PDF, 141 KB

english, 2015

26

[ACM Press the 19th annual international conference - Miami, Florida, USA (2013.09.30-2013.10.04)] Proceedings of the 19th annual international conference on Mobile computing & networking - MobiCom '13 - Network coding for content-based intermittently connected emergency networks

Joy, Joshua, Yu, Yu-Ting, Gerla, Mario, Wood, Samuel, Mathewson, James, Stehr, Mark-Oliver

Year:

2013

Language:

english

File:

PDF, 7.05 MB

english, 2013

27

[IEEE 2014 IEEE Military Communications Conference (MILCOM) - Baltimore, MD, USA (2014.10.6-2014.10.8)] 2014 IEEE Military Communications Conference - Adaptive Interest Modeling Improves Content Services at the Network Edge

Li, Hua, Costantini, Ralph, Anhalt, David, Alonso, Rafael, Stehr, Mark-Oliver, Talcot, Carolyn, Kim, Minyoung, McCarthy, Timothy, Wood, Samuel

Year:

2014

Language:

english

File:

PDF, 262 KB

english, 2014

28

[ACM Press the 2005 workshop - Long Beach, California (2005.01.10-2005.01.11)] Proceedings of the 2005 workshop on Issues in the theory of security - WITS '05 - Formal prototyping in early stages of protocol design

Goodloe, Alwyn, Gunter, Carl A., Stehr, Mark-Oliver

Year:

2005

Language:

english

File:

PDF, 518 KB

english, 2005

29

Relationship between HIV Risk Perception and Condom Use: Evidence from a Population-Based Survey in Mozambique

Ndola Prata, Leo Morris, Elizio Mazive, Farnaz Vahidnia and Mark Stehr

Journal:

International Family Planning Perspectives

Year:

2006

Language:

english

File:

PDF, 1.28 MB

english, 2006

30

Neighborhood price of healthier food relative to unhealthy food and its association with type 2 diabetes and insulin resistance: The multi-ethnic study of atherosclerosis

Kern, David M., Auchincloss, Amy H., Stehr, Mark F., Diez Roux, Ana V., Moore, Kari A., Kanter, Genevieve P., Robinson, Lucy F.

Journal:

Preventive Medicine

Year:

2017

Language:

english

File:

PDF, 547 KB

english, 2017

31

The effect of cigarette taxes on smoking among men and women

Journal:

Health Economics

Year:

2007

Language:

english

File:

PDF, 138 KB

english, 2007

32

CINNI - A Generic Calculus of Explicit Substitutions and its Application to λ- ς- and π-Calculi

Mark- Oliver Stehr

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2000

Language:

english

File:

PDF, 205 KB

english, 2000

33

Representing the MSR Cryptoprotocol Specification Language in an Extension of Rewriting Logic with Dependent Types

Iliano Cervesato, Mark-Oliver Stehr

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 432 KB

english, 2005

34

[IEEE 2010 IEEE/IFIP 8th International Conference on Embedded and Ubiquitous Computing (EUC) (Co-Located with CSE 2010) - Hong Kong, China (2010.12.11-2010.12.13)] 2010 IEEE/IFIP International Conference on Embedded and Ubiquitous Computing - An Application Framework for Loosely Coupled Networked Cyber-Physical Systems

Kim, Minyoung, Stehr, Mark-Oliver, Kim, Jinwoo, Ha, Soonhoi

Year:

2010

Language:

english

File:

PDF, 1.03 MB

english, 2010

35

xTune

Kim, Minyoung, Stehr, Mark-Oliver, Talcott, Carolyn, Dutt, Nikil, Venkatasubramanian, Nalini

Journal:

ACM Transactions on Embedded Computing Systems

Year:

2012

Language:

english

File:

PDF, 535 KB

english, 2012

36

Hepatic lesions other than neoplasms in subadult flatfish from puget sound, washington: relationships with indices of contaminant exposure

Mark S. Myers, O.Paul Olson, Lyndal L. Johnson, Carla S. Stehr, Tom Hom, Usha Varanasi

Journal:

Marine Environmental Research

Year:

1992

Language:

english

File:

PDF, 315 KB

english, 1992

37

[IEEE 2012 IEEE International Conference on Green Computing and Communications (GreenCom) - Besancon, France (2012.11.20-2012.11.23)] 2012 IEEE International Conference on Green Computing and Communications - Folding and Unfolding Bloom Filters: An Off-Line Planning and On-Line Optimization Problem

Sailhan, Francoise, Stehr, Mark Oliver

Year:

2012

Language:

english

File:

PDF, 262 KB

english, 2012

38

Toxicopathic hepatic lesions as biomarkers of chemical contaminant exposure and effects in marine bottomfish species from the Northeast and Pacific Coasts, USA

Mark S Myers, Lyndal L Johnson, O.Paul Olson, Carla M Stehr, Beth H Horness, Tracy K Collier, Bruce B McCain

Journal:

Marine Pollution Bulletin

Year:

1998

Language:

english

File:

PDF, 5.23 MB

english, 1998

39

Policy-Based Cognitive Radios

Wilkins, David, Denker, Grit, Stehr, Mark-Oliver, Elenius, Daniel, Senanay, Rukmam, Talcott, Carolyn

Journal:

IEEE Wireless Communications

Year:

2007

Language:

english

File:

PDF, 93 KB

english, 2007

40

[IEEE Eighth IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY'07) - Bologna, Italy (2007.06.13-2007.06.15)] Eighth IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY'07) - CoRaL--Policy Language and Reasoning Techniques for Spectrum Policies

Elenius, Daniel, Denker, Grit, Stehr, Mark-Oliver, Senanayake, Rukman, Talcott, Carolyn, Wilkins, David

Year:

2007

Language:

english

File:

PDF, 885 KB

english, 2007

41

Domoic acid production near California coastal upwelling zones, June 1998

Trainer, Vera L., Adams, Nicolaus G., Bill, Brian D., Stehr, Carla M., Wekell, John C., Moeller, Peter, Busman, Mark, Woodruff, Dana

Journal:

Limnology and Oceanography

Year:

2000

Language:

english

File:

PDF, 2.45 MB

english, 2000

42

Cigarette tax avoidance and evasion

Journal:

Journal of Health Economics

Year:

2005

Language:

english

File:

PDF, 277 KB

english, 2005

43

Domoic Acid Production Near California Coastal Upwelling Zones, June 1998

Vera L. Trainer, Nicolaus G. Adams, Brian D. Bill, Carla M. Stehr, John C. Wekell, Peter Moeller, Mark Busman and Dana Woodruff

Journal:

Limnology and Oceanography

Year:

2000

Language:

english

File:

PDF, 4.44 MB

english, 2000

44

Intended and Unintended Consequences of Youth Bicycle Helmet Laws

Christopher S. Carpenter and Mark Stehr

Journal:

The Journal of Law and Economics

Year:

2011

Language:

english

File:

PDF, 319 KB

english, 2011

45

Neighborhood Prices of Healthier and Unhealthier Foods and Associations with Diet Quality: Evidence from the Multi-Ethnic Study of Atherosclerosis

Kern, David, Auchincloss, Amy, Stehr, Mark, Diez Roux, Ana, Moore, Latetia, Kanter, Genevieve, Robinson, Lucy

Journal:

International Journal of Environmental Research and Public Health

Year:

2017

Language:

english

File:

PDF, 345 KB

english, 2017

46

Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework

Mark-Oliver Stehr, José Meseguer, Peter Csaba Ölveczky

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 266 KB

english, 2001

47

Chemical contamination and associated liver diseases in two species of fish from San Francisco Bay and Bodega Bay

CARLA M. Stehr, MARK S. Myers, DOUGLAS G. BURROWS, MARGARET M. Krahn, JAMES P. Meador, BRUCE B. McCAIN, USHA Varanasi

Journal:

Year:

1997

Language:

english

File:

PDF, 239 KB

english, 1997

48

THz-driven quantum wells: Coulomb interactions and Stark shifts in the ultrastrong coupling regime

Zaks, Benjamin, Stehr, Dominik, Truong, Tuan-Anh, Petroff, Pierre M, Hughes, Stephen, Sherwin, Mark S

Journal:

New Journal of Physics

Year:

2011

Language:

english

File:

PDF, 1.09 MB

english, 2011

49

The Limits of Simple Implementation Intentions: Evidence from a Field Experiment on Making Plans to Exercise

Carrera, Mariana, Royer, Heather, Stehr, Mark, Sydnor, Justin, Taubinsky, Dmitry

Journal:

Journal of Health Economics

Year:

2018

Language:

english

File:

PDF, 831 KB

english, 2018

50

Relationships between Toxicopathic Hepatic Lesions and Exposure to Chemical Contaminants in English Sole (Pleuronectes vetulus), Starry Flounder (Platichthys stellatus), and White Croaker (Genyonemus lineatus) from Selected Marine Sites on the Pacific Coast, USA

Mark S. Myers, Carla M. Stehr, O. Paul Olson, Lyndal L. Johnson, Bruce B. McCain, Sin-Lam Chan and Usha Varanasi

Journal:

Environmental Health Perspectives

Year:

1994

Language:

english

File:

PDF, 4.60 MB

english, 1994

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски